<?php
echo PHP_VERSION, PHP_EOL;


// START@#2017-08-#

// END@#2017-08-#
